int x = 0;
int* p = &x;
...
/* there are no writes to `p` in these lines */ 
...
*p = 10; /* this pointer can not be NULL */
